Nanohardness measurement of high-purity Fe–C martensite