The Wigner-function approach to non-equilibrium electron transport