Numerical modelling of laboratory tests for TBM cutter indentation process analysis