Text this: Research on Intelligent Identification Technology of Mine Microseismic Signals Based on Pattern Recognition and Machine Learning.