competitions: Fix incorrect ordering of the user rankings in get_best_user_ranking