Electrocatalysis of Hydrogen Oxidation—Theoretical Foundations