Derivation and Verification of the Relationship between Ablation Index and Baseline Impedance