Semiclassical methods