Football Justice Haynes’ transfer from Michigan, explained: Roster math and NIL realities