Total factor productivity growth, technological progress, and technical efficiency change