Biventricular pacemaker lead thrombosis: a rare case treated with surgical thrombectomy.