Efficient Non-greedy Optimization of Decision Trees