Deep reinforcement learning for a color-batching resequencing problem. (July 2020)