Explorer Reduction of Nondeterministic Tree Automata