Same-day contralateral implantation of a permanent device after lead extraction for isolated pocket infection.