How smart cities are leveraging the Internet of Things