Electrochemical CO2 reduction to high-concentration pure formic acid solutions in an all-solid-state reactor | Synapse