ball mill used in cemented carbide