Practical joint human-machine exploration of industrial time series using the matrix profile