China rolls out world’s largest fleet of driverless mining trucks