TuSimple Holdings Inc