Properties of aluminum trichloride solutions in liquid SO2: Formation of the SOCl+ cation