How do change management methodologies such as Kotter's eight-step model, Lewin's three-step model, and Prosci's ADKAR framework provide structured approaches for planning, executing, and evaluating change initiatives, and what are their respective strengths and limitations ?