DPRK, S. Korean leaders agree on additional efforts toward denuclearization