Paxos availability