What happens if an NFL game is suspended or shortened?