How do you use a tool when mining?