Application of nanoindentation technology in rocks: a review