Proton Pumping Mechanism in Cytochrome c Oxidase