The Making of a Smart City in Korea