The Potential Cost-Effectiveness of Pre-Exposure Prophylaxis Combined with HIV Vaccines in the United States