Induction study of a horizontal axis tidal turbine: Analytical models compared with experimental results