John Buddle (1773–1843), Mining Engineer