Description and Mathematical Statement of the HIV Prevention Resource Allocation Model