which type of construction equipment used in coal mines