Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Hard Lefschetz theorem and Hodge-Riemann relations for intersection for intersection cohomology of nonrational polytopes 