On Approximations of an Energy Integral Function for the Transient Stability of Power Systems