AI for smart cities