Universal guarantees for decision tree induction via a higher-order splitting criterion