Compressed Air Energy Storage Models for Energy Arbitrage and Ancillary Services: Comparison Using Mixed Integer Programming Optimization with Market Data from the Irish Power System