A study of the mechanisms of formic acid dehydration on TiO2