Modelling of NSTX hot vertical displacement events using M3D-C1