盾构掘进施工技术国内外研究现状