Computationally tractable reserve scheduling for AC power systems with wind power generation