the tools by which veins and rocks are brokendown and excavated