Numerical and experimental study of microporosity evolution during the solidification of metallic alloys