Preventing Government Shutdowns: Designing Default Rules for Budgets