Decarbonization-as-a-service: A mixed-integer linear programming model for optimal retrofit planning in buildings | Synapse