How Much Should We Pay for a New HIV Diagnosis? A Mathematical Model of HIV Screening in US Clinical Settings