Stochastic process model of the evolution of providers and users in a shared on-demand ride service system