Number of US pay TV households 2013 to 2023 (millions)