On the Need for Time Series Data Mining Benchmarks: A | AMiner