Ab initio study on the paths of oxygen abstraction of hydrogen trioxide (HO3) molecule in the HO3 + SO2 reaction