Up to 7,000 migrants held in Libya, says official