Computing the pKa Values of Functional Residues in Proteins: The Case of Proton Transfer in Cytochrome c Oxidase