In what year was the NFL formed?