Al2O3–Mo cutting tools for machining hardened stainless steel