mining equipment used for opencast for coal