LazyBum: Decision tree learning using lazy propositionalization