Butch Davis, Mario Cristobal leading Miami coaching search