QUANTUM DYNAMICS OF POLARON FORMATION WITH THE WIGNER-FUNCTION APPROACH