Text this: Inferring Symbolic Automata