Development of on-line rotational speed monitor system of TBM disc cutter. (August 2016)