John Wilson (mathematician and judge)