First-Principles Investigations of Electrochemical Oxidation of Hydrogen at Solid Oxide Fuel Cell Operating Conditions