Microlocal Analysis for Differential Operators