machinery used in opencast mining