The city of Houston has a strong mayoral form of municipal government. Besides the mayor and controller, how many members are there on the city council?