Explaining unretirement in the NFL: How benefits, contracts, roster spots work

What is required for a player to "officially" retire? What happens if he wants to return, much like Aaron Donald? Here are the details.