rock mining tools for kids