On the penetration of rock by three-dimensional indentors