Electrocatalytic reduction of dioxygen to water by tren-capped porphyrins, functional models of cytochrome c oxidase†