A scalable framework for impact analysis of faults on indoor CO2 in buildings | Synapse