Ab Initio Studies of Proton Transport in Proton Exchange Membranes