19mm shank mining tools