Text this: An Algorithm for the Shape-Based Distance of Microseismic Time Series Waveforms and Its Application in Clustering Mining Events