Handbook of Weighted Automata (Monographs in