A highly scalable redis-persistent queuing system for vertx