DOJ approves Sirius/XM merger