An integer linear programming approach for identifying instruction-set extensions