거푸집의 외부에 진동을 주어 내부 콘크리트를 다지는 기계로서 터널의 둘레 콘크리트나 높은 벽 등에 사용되는 것은?