How Big a Burden? Valuing General Motors' Retirement Benefits Liability