Semiclassical spectral asymptotics