Learning Regular Sets from Queries and Counterexamples