Mathematical model for predicting sawing force of granitic rocks considering stochastic grains distribution and material elastic recovery. (October 2022)