On the Efficiency of Training Robust Decision Trees