Raft: In Search of an Understandable Consensus Algorithm