Simplifying the Analysis of Enzyme Kinetics of Cytochrome c Oxidase by the Lambert-W Function