Distillation of Weighted Automata from Recurrent Neural Networks using a Spectral Approach