Redis Leaderboard in python