Algorithmic Precision and Human Decision: A Study of Interactive Optimization for School Schedules