Technological implementations, smartness, digitalization: What is behind the idea of “smart cities”?