目前国外大型地下工程中约有( )是用掘进机掘进的。