Tensioning-Phase Box Girder Deformation Prediction Model Based on Ant Colony Algorithm and Residual Correction. (17th December 2018)