Time Series Benchmarking Competition: The CATS Benchmark