Comparisons of Chemical-Diffusive Models for Constant and Variable Stoichiometries in Navier–Stokes Simulations of Gaseous Hydrogen–Air Detonations