Symplectic Geometric Methods In Microlocal Sheaf Theory