Robotic thymectomy for myasthenia gravis.