how many jews live in porto