Provable guarantees for decision tree induction