https://darktea.github.io/posts/paxos-made-simple/