800万货车司机重大交通事故下降92%背后,一位北大博士十年的数字化探索