"The prioritization of payments aims to force Treasury to make payments toward the debt instead of to fund government operations, entitlements, and other programs." . . . . .