How much spectrum do AT&T and Verizon have?