The Resource Adequacy Challenge in ERCOT: The Best Market Design Depends on the Minimum Acceptable Reserve Margin.