China's largest-diameter shield tunneling machine for export rolls off the production line in Zhengzhou