The city is governed by a mayor and a 9-member city council. How many employees are there in San Diego for every 137 residents