US orders departure of personnel from Mali over attack fears