a paxos implementation