Optimal Decision Trees Generation from OR-Decision Tables