Optimal decision trees for the Algorithm Selection Problem