Microlocal analysis with applications to seismic inverse problems