types of equipment used for surface mining for coal