Using the Wigner function for quantum transport in device simulation