Theoretical Study of the Adsorption/Dissociation Reactions of Formic Acid on the α-Al2O3(0001) Surface