When the CEO and senior management of a books, music, and games distributor systematically evaluate the company’s internal and external environment to evaluate the vision and mission and develop objectives, which aspect of strategy formulation are they engaged in?