Designing PURPA Power Purchase Auctions: Theory and Practice