Ab Initio Reaction Rate Constants Computed Using Semiclassical Transition-State Theory: HO + H2 → H2O + H and Isotopologues | Synapse