Dish/DirecTV consortium top bidder in FCC spectrum auction