Comparison of model checkers for stochastic biological models