GeoBIM for Geothermal Energy Efficiency in Buildings and Smart Cities: A Review | Synapse