A New Theoretical Approach to the Simulation of Proton Transport in Nafion Membranes