Leader election implementation.