Managing daily surgery schedules in a teaching hospital: a mixed-integer optimization approach