Modeling of solidification in twin-roll strip casting