Correlation between estimated balloon contact by computer-aided engineering analysis and lesion area by hot balloon ablation