Statistics of Free tropospheric measurements of formic acid (HCOOH) from infrared ground-based solar absorption spectra: Retrieval approach, evidence for a seasonal cycle, and comparison with model calculations