A global convergent semi-smooth Newton method for semi-linear elliptic optimal control problem. (15th August 2022)