Positive Wigner Functions Render Classical Simulation of Quantum Computation Efficient