Should AT&T be allowed to buy DirecTV?