Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces The geometry of moduli spaces of pointed curves, the tensor product in the theory of Frobenius manifolds and the explicit Künneth formula in quantum cohomology 