A stochastic mover/stayer model for an HIV epidemic