عملية عسكرية مشتركة واسعة النطاق المتطرفين في مالي