Optimum Design and Application Research of Eddy Current Sensor for Measurement of TBM Disc Cutter Wear.