Miami Has Earned $5 Million Through Mining CityCoins