The redox-coupled proton-channel opening in cytochrome c oxidase