An Analytical Model for Frequency Nadir Prediction Following a Major Disturbance