Production Scheduling in a Steelmaking and Continuous Casting Plant: a Case Study