Proton - SO3- interactions in Nafion polymer electrolyte membrane fuel cells gleaned from ab initio molecular dynamics simulations of mono-, di-, and tetra-hydrate trifluoromethanesulfonic acids