Successful ventricular tachycardia ablation in a patient with a biventricular ventricular assist device and heparin-induced thrombocytopenia using bivalirudin