how are ties broken in the leaderboard?