Robotic right lower lobectomy for a persistent large pulmonary arteriovenous malformation following repeated coil embolization | Synapse