对于被卡的管类落物或需要修理的套管，用其他方法难于处理时，常采用切割的方法处理，切割工具有（）几类。