Computer modelling of ventricular rhythm during atrial fibrillation and ventricular pacing