Large-Scale Bi-Level Strain Design Approaches and Mixed-Integer Programming Solution Techniques