Controller Design Methodology for a Circulation Controlled Vertical Axis Wind Turbine