Optimal randomized classification trees