Toward an optimal U.S. ethanol fuel subsidy