Differentiating junctional tachycardia and atrioventricular node re-entry tachycardia based on response to atrial extrastimulus pacing.