The Weyl-Wigner-Moyal formalism for spin