materials used in coal mining