Stoichiometry and Coupling: Theories of Oxidative Phosphorylation