Process System Modeling of Large-Scale Energy Storage, CO2 and Biomass Based Formic Acid Production Systems