Theoretical study of mechanisms of aromatic nucleophilic substitution in the gas phase