Miami-Dade mayor says no police officer jobs will be cut