Tanzania HIV Investment Case (IC) 2.0: Using modeling to explore optimization under severe resource constraints. (2021)