Echocardiographic evaluation of a positive force frequency relation in the left atrial appendage in a pig model of pacing-induced AF