Proximity Forest: An effective and scalable distance-based classifier for time series