A Gibbs Sampling Algorithm with Monotonicity Constraints for Diagnostic Classification Models