A pull message queue built on top of Redis