鹿島ら、トンネルの覆工コンクリート打設を完全自動化（関連情報）：山岳トンネル工事