Efficacy of partner notification for HIV infection