Thermodynamic and choreographic constraints for energy transduction by cytochrome c oxidase.