Congruence-based Learning of Probabilistic Deterministic Finite Automata