As cities around the world grapple with new levels of gridlock, some cities, like Toronto, are looking to big data and AI as a potential solution.