New cycle-based formulation, cost function, and heuristics for DC OPF based controlled islanding