Electron Vortices in Semiconductor Devices