what happens when a player is ejected in nfl