개착식 터널 굴착이 진행됨에 따라 흙막이 벽 쪽에 도랑이나 구멍을 파고 굴착 밑면에 침투 유출해 오는 물을 자연 유입으로 유도한 다음 수중펌프 등으로 갱외로 배수하는 공법은?