Что такое BFT? Задача византийских генералов. Примеры