中国古代数学家祖冲之，早于西方一千年多算出圆周率小数点后第六位，他所使用的计算工具是什么