Microlocal Analysis for Differential Operators: An Introduction