paxos sequence numbers