Mathematical modeling of proton exchange membrane fuel cells