Seven dead in migrant boat tragedy off Libyan coast