Benzenium Ion Chemistry on Solid Metal Halide Superacids: In Situ 13C NMR Experiments and Theoretical Calculations