On the efficiency of HIV transmission: Insights through discrete time HIV models