WKB approximation for the reaction-path Hamiltonian: Application to variational transition state theory, vibrationally adiabatic excited-state barrier heights, and resonance calculations | Synapse