Text this: SMT-Based Active Learning of Weighted Automata