国产首台高原高寒大直径硬岩掘进机下线:将用于青藏高原路网建设