Using Paxos to build a scalable, consistent, and highly available datastore | Synapse