Text this: Quantitative correlation of rock fragment gradation parameters and TBM disc cutter efficiency