Mechanism of the elimination reactions of trans- and cis-1,2-dihalogeniacenaphthenes