Bayesian inference for dynamic Q matrices and attribute trajectories in hidden Markov diagnostic classification models | Synapse