During which OR phase are decision variables, alternatives, objective, and constraints first clearly identified?