CBO: Letting nuclear treaty expire could cost billions