CBO projects Senate TRIA plan to cost $5.1 billion