A Methodology for Provision of Frequency Stability in Operation Planning of Low Inertia Power Systems