publication venue for Spatio-Temporal Progress Estimation for Highway Construction 2013 Finite element computer models for analysis of cold-formed steel members 1996