Performance study on a counter-rotating tidal current turbine by CFD and model experimentation