Induction of decision trees