Active Learning of Nondeterministic Systems