Trade liberalization and productivity growth in Korean manufacturing industries: price protection, market power, and scale efficiency