A Primary-Backup Protocol for In-Memory Database Replication