“At the end of each fiscal year, US federal agencies deliberately spend hundreds of billions of dollars unproductively in a "budget flush" because legal interpretations of appropriations law prevent them from underspending.”