Smart cities: The use of technology and data to improve the quality of life, efficiency, and sustainability of urban environments.