Modeling and Model Predictive Control for a Proton Exchange Membrane Fuel Cell System