Federated learning for smart cities: A comprehensive survey