Civil engineering design : holistic digital design, construction and maintenance of infrastructures (Ernst & Sohn, a Wiley brand, 2019)