Structure of high-Tc superconducting tetragonal Ba2YCu3−xO7−y at 298 and 120 K