ECG-gated dual-source CT for detection of left atrial appendage thrombus in patients undergoing catheter ablation for atrial fibrillation