paxos algorithm for elixir