Micromilling of hardened (62 HRC) AISI D2 cold work tool steel