John Greaves — English mathematician, astronomer and antiquarian