Assessing thermochemical properties of materials through ab initio quantum-mechanical methods: the case of α-Al2O3.