Military, NFL tackle traumatic brain injury