Equations Used to Predict the Velocity Distribution Within a Wake from a Horizontal-Axis Tidal-Current Turbine