Stable Eutectoid Transformation in Nodular Cast Iron: Modeling and Validation