Structure of Thermus thermophilus cytochrome ba3 oxidase 480s after Xe depressurization