A probabilistic model for the degree of the cancellation polynomial in Gosper's algorithm