Small-diameter tunneling in difficult ground - Analysis of TBM performance in hard rock | Geomechanics and Tunnelling