I see that the introduction says that 75% of the total is mined. What tools are used to dig or how are they used to dig?I see that the introduction says that 75% of the total is mined. What tools are used to dig or how are they used to dig?I see that the introduction says that 75% of the total is mined. What tools are used to dig or how are they used to dig? No one can answer?