Influence of the heat treatment on the microstructure and machinability of AISI H13 hot work tool steel