WO3 thermodynamic properties at 80–1256 K revisited