1. Department of Industrial and Enterprise Systems Engineering, University of Illinois Urbana-Champaign, Urbana, Illinois 61801;
2. Department of Computer Science and Software Engineering, Rose-Hulman Institute of Technology, Terre Haute, Indiana 47803;
3. Department of Computer Science, University of Illinois Urbana-Champaign, Urbana, Illinois 61801