深基坑开挖的有限元模拟与实验研究