Use of transesophageal contrast echocardiography for excluding left atrial appendage thrombi in patients with atrial fibrillation before cardioversion.