hardness of rock in mining