DirecTV's buyout is lifeline For Dish and Echostar's US 5G network