Optimal control of ladle stirring