Quantum scattering theory of rotational relaxation and spectral line shapes in H2–He gas mixtures