Wigner-function formalism applied to semiconductor quantum devices: Need for nonlocal scattering models