Vertical paxos and primary-backup replication | Synapse