Globally convergent homotopy algorithm for solving the KKT systems to the principal-agent bilevel programming. (2nd January 2017)