machinery used in coal mine