Extensible Modeling of Compressed Air Energy Storage Systems