Mayo Clinic elects CEO of Florida operations