Text this: Pumping lemmas for weighted automata