Vallejo, California: Unions help city with lay-offs