拜占庭将军问题的详细描述和各种变体 以及具体的解决算法 lamport原文