أدوات التعدين في القرن 19