GIS applications in smart cities