Ettringite formation in lime-treated soils establishing thermodynamic foundations for engineering practice Article