Microlocal Analysis, Sharp Spectral Asymptotics and Applications I: Semiclassical Microlocal Analysis and Local and Microlocal Semiclassical Asymptotics