Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks