Force modeling of the cutting disc in rock sawing for anchoring and sampling in asteroid exploration.