John Arbuthnot :mathematician and satirist