Bayes estimation of the mixing distribution, the discrete case