Weighted Transducers