Turbulent Flow in Wavy Channels Simulated with Nonlinear Models and a New Implicit Formulation