大断面や自由な断面形状の地下空間を構築する技術をトンネル工事に適用、戸田建設（関連情報）：導入事例