Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Desingularization of binomial varieties in arbitrary characteristic. II: Combinatorial desingularization algorithm 