Data-driven distillation and precision prognosis in traumatic brain injury with interpretable machine learning