types and names of mining tools