Valuation and Market-based Provision of Ancillary Services: Competitive Allocation of Spinning Reserve by Grid Constrained Auction Models