Distributed ID generation with Redis and Lua