Dish DBS files for prepackaged bankruptcy with $25 billion debt load