Computational prediction and experimental validation of cytochrome c oxidase main-chain flexibility and allosteric regulation of the K-pathway