paxos' single-decree protocol