A Modelica Library for Power System Stability Studies