Presença judaica em Portugal: as sinagogas do Porto