Microlocal analysis and its applications