“The presumption that an extant mode is efficient if the expected net gain is negative can nevertheless be rebutted by showing that the obstacles to implementing an otherwise superior feasible alternative are 'unfair.'”