Structural studies of TcO2 by neutron powder diffraction and first-principles calculations.