Microkinetic Modeling of the Oxygen Reduction Reaction at the Pt(111)/Gas Interface