Multi-Paxos framework in Erlang