China's "intelligent mines" are getting rid of truck drivers and diesel fuel