洞身的开挖