斜洞的开挖