When Can Government Workers Retire