Modeling and experimental validation of microstructure and mechanical properties of ductile iron during solidification