equipment and tools for mining