Coupling machine learning with thermodynamic modelling to develop a composition-property model for alkali-activated materials