Time discretization of continuous-time filters for hidden Markov model parameter estimation