Semiclassical methods, quantum dynamics, exponential asymptotics