Exercise 5: Bayesian modeling with prior and posterior predictive checks