CBO: Trump military buildup would cost taxpayers an extra $683 billion