Late Proterozoic arc–continent and continent–continent collision in the pan-African trans-Saharan belt of Mali