Optimizing Public School Teacher Salary Schedules