Hydrogen isotope exchange kinetics between H2O and H4SiO4 from ab initio calculations