Vertical-Axis Tidal Turbines: Model Development and Farm Layout Design