Predictive Mathematical Modelling of Heat Transfer and Phase Change for Solidification Processes in Sustainable Building | Synapse