A technological perspective on the general machinery industry in the Republic of Korea