Theoretical study on the mechanism of sulfur migration to gas in the pyrolysis of benzothiophene