Animal models for atrial fibrillation: clinical insights and scientific opportunities.