Redox induced protonation of heme propionates in cytochrome c oxidase