equipment and machinery used in coal mining