tools used in coal mining