The city is governed by a mayor and a 9-member city council. Despite being a sanctuary city, what program does San Francisco county participate in?