Isotope effect and proton hopping in high-temperature protonic conductors