Development and verification of a computational fluid dynamics model of a horizontal-axis tidal current turbine | lit.salon