mining tools in the 1800s