Provisions and prospects for introduction of robotic geotechnologies in open pit mining