LeaderElectionModel nech vie algoritmus skoncit ked sa zvoli sef