The NFL reaches a settlement with thousands of its retired players.