建筑信息模型在基坑开挖中的应用