DFT study of hydrogen fluoride and sulfur trioxide interactions on the surface of Pt-decorated graphene