Gravar-mail: Robot-assisted thoracoscopic enucleation for a large esophageal leiomyoma: a case report