State Estimation of a Stochastic Model for the Spread of HIV in a Mobile Heterosexual Population