戸田建設の覆工自動打設ロボットに新機能追加、打設人員を半減（関連情報）：山岳トンネル工事