Judge OKs AT&T-Time Warner merger