Review on Set-Theoretic Methods for Safety Verification and Control of Power System