一般开挖深度超过（　）的基坑称为深基坑。