Time Series Snippets: A New Primitive for Time Series Data Mining