What the structures of the cytochrome c oxidase tell us about its mechanism