竹削工法是應用於哪一種基礎施工的工法?