Benefit of Contact Force Sensing Catheter Technology for Successful Left Atrial Anterior Line Formation: A Prospective Randomized Trial