How Digital Twins Are Being Used to Rapidly Reduce Carbon Emissions from Building Operations