如何浅显易懂地解说 Paxos 的算法？