EchoStar to sell Dish to DirecTV, combining major pay-TV providers