Design and compare three different consensus algorithms: 1) Paxos 2) Raft 3) Practical Byzantine Fault Tolerance. For each algorithm, explain: the core problem it solves, its consensus procedure, how it handles network partitions, its fault tolerance properties, and practical implementation considerations. Provide pseudocode for each algorithm and discuss their performance characteristics. Explain when each algorithm would be appropriate to use and what trade-offs they represent.