Models for the Homogeneous Hydrodesulfurization of Benzothiophene: Sequential Insertion of Manganese into the C(aryl)−S and C(vinyl)−S Bonds, Followed by Metallathiacycle Ring Contraction