lua in redis in py