Effect of saturation on the steady-state stability of a synchronous machine connected to an infinite bus system