Enhanced strength and carbon sequestration in CO2-cured alkali-activated slag (AAS) through lime–biochar dual modification | Synapse