Nitric acid catalyzed hydrolysis of SO3 in the formation of sulfuric acid:A theoretical study