Procurement Auction Designs for Electricity in Brazil