Now is the time to export cities! Building the world by exporting Korea’s smart cities to various parts of the world?