The role of digital infrastructure in reducing air pollution | Synapse