How much government spending will Trump cut in 2025?