Turbulence Modeling for Accurate Wake Prediction in Tidal Turbine Arrays