Government interventions and productivity growth in Korean manufacturing industries