The global Optima HIV allocative efficiency model: targeting resources in efforts to end AIDS. Issue 4 (April 2018)