Text this: A Review of the CLH Index, an Empirical Methodology for TBM Cutter Wear Estimation.