common heavy machinery used in coal mine