Discrete Wigner–Weyl calculus for the finite lattice