What are the best tools for using a large reasoning AV model as a teacher to distill smaller driving models that actually run on vehicles?