John Taylor, Mining Entrepreneur and Engineer, 1779-1863. · Study