redis Leaderboard in python