Knowledge-Guided Optimization of Thermally Stable Cement Formulations Using Machine Learning Surrogates for Geothermal and CO2 Storage Wells | Synapse