常见的基坑开挖技术包括什么技术