基坑开挖要多久