Integration of Experimental and In Silico Approaches to Translate Atrial Electrophysiological Findings from Pig to Human in the Context of Atrial Fibrillation