industrial toos in coal mines