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