Describir: Learning of Tree Automata applied to Neural Language Acceptors