Wentzel-Kramers-Brillouin approximation