stationary phase approximations