Hardness, strength and abrasivity of rocks: Correlations and predictions | Geomechanics and Tunnelling