Efficacy of the antibacterial envelope to prevent cardiac implantable electronic device infection in a high-risk population.