France's military intervention in Mali