Global Newton-type methods and semismooth reformulations for NCP