A new theoretical approach to the simulation of proton transport in nafion membranes