連続練りミキサーを使った速硬性モルタル吹付けシステム、小断面トンネルの補強で有効（関連情報）：山岳トンネル工事