Text this: Coronary vasospasm complicating atrial fibrillation ablation: a case report and review of the literature