old mining tools hard rock