An algorithm for the optimal contraction of top-down readable decision tables with given condition order