State machines implementing the Raft consensus algorithm.