Tampa General doctors perform robotic mitral valve repair procedure