China launches world’s largest fleet of unmanned electric mining trucks