Atomic-scale modeling of double-gate MOSFETs using a tight-binding Green’s function formalism