how much did the new tappan zee bridge cost