Pilots, pilot-seasons, serial movies: size changes in TV series from the 1980s to the 2010s