Dependence of the ion milling rate of liquid-quenched stainless steel on the cooling condition