What have we learned from mathematical models of defibrillation and postshock arrhythmogenesis? Application of bidomain simulations