Lecture 4: Primary-Backup Replication