Modeling and solving the steelmaking and casting scheduling problem