Dynamic versus Static Approach to Theoretical Anharmonic Vibrational Spectroscopy of Molecular Species Elevant to Atmospheric Chemistry: A Case Study of Formic Acid.