Mathematical Models for the Prediction of Coagulation Activity in Patients with Paroxysmal Atrial Fibrillation