What is the difference between a generative probabilistic model and a discriminative one? Explain which formal tool is used to specify a generative model.