آلات تم تطويرها للتعدين في أواخر القرن التاسع عشر