Technological progress and technical efficiency in Chinese industrial growth: A frontier production function approach