A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees