Mali: the liberation of Gao