tools and equipment for open pit mining