Leaderboards backed by Redis in Python