Transport in Proton Conductors for Fuel-Cell Applications:  Simulations, Elementary Reactions, and Phenomenology | Synapse