Microlocal Analysis and Spectral Theory