深基坑工程是指：（）。