How Does Cytochrome Oxidase Pump Protons?