Digital Object Identifier (DOI) https://doi.org/10.1061/jccof2.cceng-4486 https://doi.org/10.1061/jccof2.cceng-4486