Violence against and amongst Jews in an early modern town: tolerance and its limits in Portsmouth, 1718-1781