Adding pebbles to weighted automata: Easy specification & efficient evaluation