france mali intervention