war in mali 2013