On the Need for Time Series Data Mining Benchmarks: A Survey and Empirical Demonstration | AMiner