No police officer jobs will be cut, Miami-Dade mayor says