A Formulation of the Thrust Coefficient for Representing Finite-Sized Farms of Tidal Energy Converters