Ordered Work Queues in Redis for multiple uniquely identifiable things to be processed by competing consumers