Quantum-field-theoretical approach to phase–space techniques: Symmetric Wick theorem and multitime Wigner representation