AI is already reshaping the world’s smart cities. Here's how