The data mining method based on support vector machine applied to predict tool life of TBM | IEEE Conference Publication | IEEE Xplore