NFL on TV: A short history