Cytochrome c oxide as a proton pump. A transition-state mechanism