Is it guaranteed that the follower with the highest priority will be the next leader, even though the clocks of the followers are not synchronized?