Nonsmooth Modeling of Liquid Air Energy Storage Systems