OPR-Miner: Order-preserving rule mining for time series