Global Emissions of SF6 and the Costs of Reducing Them