Experimental and computational study of proton and methanol permeabilities through composite membranes