Decision Trees with Short Explainable Rules