rock tools mining and rock