Text this: Kleene Theorem for Higher-Dimensional Automata