Total factor productivity growth in Korean industry and its relationship with export growth