Kinetic Monte Carlo simulations of proton conductivity.