Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search