Evolution of the microstructure and mechanical properties of eutectic Fe30Ni20Mn35Al15