paxos算法解决了什么问题