Controlled islanding of power networks based on graph reduction and spectral clustering