Smart cities: definitions, dimensions, and performance