DFAMiner: Mining minimal separating DFAs from labelled samples