Thermodynamic modeling and experimental study of alkali-activated slag paste