Examination of high Reynolds number flow around a spinning cylinder with different turbulence models