Describir: Non-deterministic automata inference from Recurrent Neural Networks