Full-band quantum simulation of electron devices with the pseudopotential method: Theory, implementation, and applications