machinery used in coal mines