Conversion of recurrent neural network language models to weighted finite state transducers