Ex Ante Life Cycle Assessment of Industrial-Scale Electrochemical Reduction of CO 2 to Formic Acid | Synapse