Permanent brain damage likely after catastrophic head injury in high school football players