A variational Bayesian methodology for hidden Markov models utilizing Student's-t mixtures