Force modeling of the cutting disc in rock sawing for anchoring and sampling in asteroid exploration | IEEE Conference Publication | IEEE Xplore