coal miner tools and equipment