Zaslat SMS: In-silico trials with human modelling and simulation for guiding optimal stratification of atrial fibrillation patients to catheter ablation and pharmacological therapy