Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms