International Cases Studies of Smart Cities-Songdo, Republic of Korea