国外盾构掘进机的发展历史和现状