Microstructural properties of M7C3 eutectic carbides in a Fe–Cr–C alloy