DirecTV buys Dish for $1