Lecture 6: Fault Tolerance: Raft (1)