Constrained Optimization Approaches to Solving Real World School Choice Problems