Concussions and NFL: How the name CTE came about