The Korean metals industry and economic development