Implementation of variable time step stochastic dynamics for electronically inelastic gas–surface collisions