TLA+ specification for the Raft consensus algorithm