what are mining tools to quarry