merger of sirius and xm 3728287