Modeling, Analysis, and Optimal Control of Fuel Cell Electrochemistry