A methodology for the discrete event simulation with three-dimensional animation of vertical retreat mining (VRM) systems