Operation principle analysis of disc cutter on TBM