Computer simulation of cardiac cryoablation: comparison with in vivo data.