Development and Verification of a Computational Fluid Dynamics Model of a Horizontal-Axis Tidal Current Turbine