Tractable Reserve Scheduling Formulations for Alternating Current Power Grids with Uncertain Generation