Data Mining with Decision Trees: Theory and Applications