multi paxos algorithm with master leases in elixir