First principles analytical prediction of the conductivity of Nafion membranes