John Machin — English mathematician