Text this: Tensioning-Phase Box Girder Deformation Prediction Model Based on Ant Colony Algorithm and Residual Correction