European navy ships 'rescue 3,500 migrants' in the Mediterranean