CBO says $1.2 trillion needed for nuclear weapons overhaul