A Myhill-Nerode Theorem for Higher-Dimensional Automata