Simulation of resonant tunnelling diodes with the non-equilibrium Green’s function formalism