Computational prediction of airfoil dynamic stall