Miami-Dade County is partnering with IBM to improve city policing, transportation and parks through predictive analytics.