US risks default as soon as August without action on debt ceiling, CBO estimates