Wie hoch ist der Anteil an Ausländern in Mali?