Big mining firms are switching to driverless trucks and other autonomous equipment.