4 ‘jihadists’ killed, 5 arrested after Mali resort attack