Conflict-Aware Active Automata Learning