Thermodynamic properties of aqueous species and the solubilities of minerals at high pressures and temperatures: the system Al2O3H2OKOH