BIM-to-IGA: A fully automatic design-through-analysis workflow for segmented tunnel linings. (October 2020)