Fluoride solutions in carboxylic acids: ab initio calculations incorporating solvation effects, and infrared studies