Discrete Wigner functions and quantum computational speedup