Semi-analytical contact model for analyzing rock fragmentation induced by an indenter