3,500 migrants rescued off Libyan coast