Wigner function simulation of quantum tunneling