During which phase of CRISP-DM are the business goals converted into data science problem definitions?