GreenEdge AI: Sustainable federated learning for smart city air quality prediction | Synapse