Bayesian model checking strategies for dichotomous item response theory models