Thermodynamic modelling of phase evolution in alkali-activated slag cements exposed to carbon dioxide