The government of the City of Miami (proper) uses the mayor-commissioner type of system. How many members are on the city commission