The room-temperature structure of the ∼90-K superconducting phase YBa2Cu3O7−x