Strong semiclassical approximation of Wigner functions for the Hartree dynamics