Какие алгоритмы consensus (например, Paxos, Raft) используются для обеспечения fault tolerance в системах с отказоустойчивыми кворумами? В чём их ключевые различия в обработке сбоев?