A comparison of numerical models for one-dimensional Stefan problems