Two Approaches for Condensed-Phase Modeling in Solid Rocket Motor Flows