What can mathematical models tell us about the relationship between circular migrations and HIV transmission dynamics?