Mario Cristobal could add Dolphins legend to Miami staff