Pay TV stops growing: Top 4 services all lost video users in Q2/2012