Trace formulae and inverse spectral theory for Schr