Proximity Forest: an effective and scalable distance-based classifier for time series (2018-08-31T00:00:00.000000Z)