하천이나 해수가 시공중 터널내에 침투하는 것을 막는데 유리한 터널공법은 다음 중 어느 것인가?