Statistics for Comparison of three under-frequency load shedding schemes referring to the power system of Sri Lanka