A probabilistic model for the spread of HIV infection among injection drug users