Prevalence of chronic traumatic encephalopathy at death in NFL players