Comparison of ablation index versus time‐guided radiofrequency energy dosing using normal and half‐normal saline irrigation in a porcine left ventricular model