Introduction to microlocal analysis