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