plant and machinery used in coal mining