Thermal conductivity of uranium dioxide