CBO options for reducing the federal deficit