Estimated reduction of vertical transmission of human immunodeficiency virus (HIV) with the levonorgestrel intrauterine device (LNG-IUS): use of a prediction model to estimate the impact of LNG-IUS