Semismooth Newton-type method for bilevel optimization: global convergence and extensive numerical experiments. (3rd September 2022)