Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages