Machine Learning-Based Prediction of the Compressive Strength of CO₂-Cured Concrete: Benchmarking and SHAP Interpretability | Synapse