Kinetic measurements and in situ Raman spectroscopy study of the formation of TBAF semi-hydrates with hydrogen and carbon dioxide