Coupling laboratory FTIR data with PROCODA kinetic modeling for the radiolysis of frozen formic acid using swift ions | Synapse