tools used in coal mining in the