Mali: war, Islamism, and intervention