Doral police chief tapped to be Miami's new top cop