Thermodynamic properties of uranium dioxide