Cornell engineers built a "digital twin" of Manhattan that models carbon dioxide in real time. City planners can use it to find hotspots and test fixes before applying them in real life.