implementation of paxos using message queue