mining tools of the 1800