海底隧道是怎么挖出来的，几十米深的海底，总不能把水抽干吧