Submillimeter laser using formic acid vapor pumped with carbon dioxide laser radiation