coal mining process carbide tool