Dish Network quarterly revenue misses estimates on pay-TV losses