Surface integrity of hot work tool steel after high speed milling-experimental data and empirical models