Effect of turbulence modeling on dynamic stall of a NACA0012 airfoil