我国盾构机首次出口斯里兰卡 用来挖排水沟