Learning fuzzy decision trees using integer optimization