“such a policy, with its emphasis on carbon sequestration, would not be successful in achieving the carbon emission reductions that Allen himself advocates—for a variety of political, economic, technological and logistical reasons”