Handbook of Weighted Automata