On the definition of the power coefficient of tidal current turbines and efficiency of tidal current turbine farms