“Careful economic research has shown public-sector workers receive a level of compensation, pension benefits, and retiree health coverage in excess of what comparable workers in the private sector enjoy. In some instances, the total premium can be 30 percent or higher.”