China’s Railway Construction Heavy Industry Corp. (CRCHI) has exported the Shuangjing No.1 tunnel boring machine