How Has IoT Facilitated Smart City Development?