Wang et al: On the Parallels between Paxos and Raft, and how to Port