REST-based online leaderboard backend