Transport in proton conductors for fuel-cell applications: simulations, elementary reactions, and phenomenology.