Modeling of Compressed Air Energy Storage for Power System Performance Studies