Modeling Cytochrome Oxidase: A Quantum Chemical Study of the O−O Bond Cleavage Mechanism