DeepDFA: Automata Learning through Neural Probabilistic Relaxations