França, Mali, Operação Serval, intervenção no Mali