Hard rock tunnel boring machines – State of the art 2020. Issue 6 (2nd December 2019)