Turbulent Separated Flow Past a Backward-Facing Step: A Critical Evaluation of Two-Equation Turbulence Models