Italy rescues 4,000 migrants at sea