France launches air strike in Mali