Lidar observations and numerical simulations of an atmospheric hydraulic jump and mountain waves