Wigner’s contributions to the quantum theory of measurement