Mine-sweeping means, Means for destroying mines