switch leaderboard over to just querying users and looking at denormalized stats