Paxos vs. Raft: Have we reached consensus on distributed consensus?